中国计算机学会青年计算机科技论坛

CCF Young Computer Scientists & Engineers Forum

CCF YOCSEF重庆

于2017年4月19日(星期三)

在重庆大学A区主教学楼504举行 

面向异构云环境的高可信自主可控操作系统前沿技术与应用论坛

议程安排

09:30-09:40       论坛开幕

09:40-10:10       廖小飞 教授：内存计算——研究与实践

10:10-11:40       张镭 总经理: 自主可控高可信操作系统的研发与应用

10:40-11:10       李丹 教授: 云环境下的低延迟网络研究

11:10-12:00       技术交流与讨论

参加人员：IT领域专业人士、研究生、媒体、其他有兴趣者

报名方式：请回复下附回执至：liubocq@swu.edu.cn（刘波）或guojin705@163.com（郭坤银）报名，以便提供会务。

参会回执：

会议报告

报告一

报告题目：内存计算——研究与实践

报告人：廖小飞 教授

报告简介：

基于异构内存构造新型混合内存系统，或可提供价廉、低耗、相对高性能的处理环境，是解决大数据处理时效性问题的一个重要方向。报告人简要介绍了国内外研究进展，以及研究团队在结构安排、数据管理以及模拟器等方面的具体工作。

特邀讲者——廖小飞

​

博士、教授、博士生导师，计算机学院副院长。2005年获得华中科技大学工学博士学位，主要研究方向为系统软件、多核虚拟化、大数据处理等。主持863计划、国家自然科学基金等多个项目，单篇论文最高引用超过400次。获得NSFC“优秀青年科学基金”、教育部“长江学者”青年项目，入选中组部“万人计划”之首批“青年拔尖人才支持计划”，获得国家科技进步二等奖1项、教育部技术发明一等奖2项。

报告二

报告题目：自主可控高可信操作系统的研发与应用

报告人：张镭 总经理。

报告简介：

操作系统是计算机系统的基础，其安全性对整个信息系统安全具有根本性的影响，目前，我国的计算机系统面临着严重安全攻击和威胁，我国信息安全和国家安全受到严重威胁。近年来，党中央和国家已将信息安全工作提高至国家利益及国家安全层次，政府机构和企事业单位正在大量使用自主可控操作系统替代微软Windows，自主操作系统拥有了前所未有的发展机遇。本次专题报告将重点介绍中国科学院软件研究所基础软件国家工程研究中心（中科方德软件有限公司）组织研发的中科方德操作系统，以及探讨高可信自主操作系统的发展趋势。

特邀讲者——张 镭

​

重庆恩菲斯软件有限公司总经理，毕业于中国科学院软件研究所，是中国科学院培养的复合型人才，集技术专家和企业家的智慧于一身，在纷繁复杂的市场环境下，持续进行技术创新和市场创新，具有深厚的技术背景和丰富的市场实践经验，以项目成员或项目负责人身份承担了多项重大（重点）项目，包括：国家“核高基”科技重大专项3项；国家863计划项目2项；国家自然基金项目，重庆市应用开发计划重大项目，重庆市应用开发计划重点项目，重庆市服务外包公共技术平台项目等。在国内外重点刊物发表多篇论文、获得多项国家专利。有效地推动了自主可控基础软件事业的发展。

报告三

报告题目：云环境下的低延迟网络研究

报告人：李丹 教授

报告简介：

云计算环境下的互联网应用要求非常低的云到端网络延迟。云到端的网络延迟主要包括端到端传输延迟以及操作系统的处理延迟。为了降低操作系统处理延迟，我们研发了用户态网络操作系统，用以取代传统的Linux操作系统内核协议栈，从而大大增加云平台的并发能力并显著降低延迟。为了降低端到端传输延迟，我们研究基于FEC编码的传输协议，用以取代传统的基于丢包重传的TCP协议。

特邀讲者——李 丹

​

清华大学计算机系长聘副教授，博士生导师，主要从事网络体系结构、网络协议与网络系统的研究工作。2008年1月获清华大学计算机科学与技术博士学位。担任国家973计划（青年科学家专题）项目 “软件定义的云数据中心网络基础理论与关键技术”首席科学家，获得2015年国家优秀青年科学基金资助。主持或参加国家科研项目10余项，曾担任国际学术期刊IEEE Transactions on Computer编委（2013-2015）。担任IEEE LANMAN、ICPP等国际会议的程序委员会主席或大会主席。在IEEE/ACM Transactions on Networking、IEEE Transactions on Computers、ACM SIGCOMM、IEEE INFOCOM等CCF A类期刊/会议上发表论文30余篇，论文被引用2000余次。获得国内外专利20余项。

相关会议人员

执行主席——夏云霓

​

理学博士，博士后，教授，博士生导师，国际电气和电子工程师协会高级会员（IEEE SENIOR MEMBER）。2003年7月毕业于重庆大学计算机系，获工学学士学位。2008年7月毕业于北京大学信息学院计算机软件与理论专业，获理学博士学位。2006-2007年在微软亚洲研究院理论组从事分布式算法性能分析的研究，2013年在美国新泽西理工学院周孟初教授（IEEE FELLOW）处进行访问研究。在可信软件构架、Petri网验证、云计算、SOA计算构架领域已有多年的研究经验，因在相关工作的出色成果于2012年被推选为中国计算机协会PETRI网专委会委员，是当年最年轻的委员之一。2015年被推选为国际电气和电子工程师协会高级会员（IEEE SENIOR MEMBER）。2016年被国际服务科学学会推选为SSYSF（国际服务学会中国青年科学家论坛）副主席。目前主要从事云计算,可信计算,Web服务,软件工程形式化,面向服务软件工程，协同过滤推荐的研究。多次主持国家自然基金、省部级自然基金、教育部博士后博士点等科研项目。发表SCI检索文章共计34篇，15项国家发明专利取得授权，2015年获得四川省科技进步一等奖。。